Algebras and Update Strategies For Derick Wood on his 70’th birthday
نویسندگان
چکیده
The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generalize lenses from the category of sets to consider them in categories with finite products, in particular the category of ordered sets.
منابع مشابه
Algebras and Update Strategies In Honor of Derick Wood’s 70th Birthday
The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generaliz...
متن کامل2 3 Ja n 20 06 MULTIPLE ZETA VALUES AND ROTA – BAXTER ALGEBRAS ( DEDICATED TO PROFESSOR MELVYN NATHANSON FOR HIS 60 TH BIRTHDAY )
We study multiple zeta values and their generalizations from the point of view of Rota–Baxter algebras. We obtain a general framework for this purpose and derive relations on multiple zeta values from relations in Rota–Baxter algebras.
متن کاملA very French connection, a brief discourse in commemoration of life and services of the late Louis Pierre Joseph Delpy on his 120th birthday anniversary
Razi Vaccine and Serum Research Institute (RVSRI) turned 95 years old in 2015. Majority of the animal infectious diseases such as rinderpest and anthrax that used to frequently strike the historic Persia are now gone for good or under control owing to the pioneering researches conducted at the institute in the early-mid 20th century in the field of vaccine manufacturing. The earliest...
متن کاملA Proof-Theoretic Approach to the Static Analysis of Logic Programs
Dedicated to Peter Andrews on the occasion of his 70 th birthday.
متن کامل